package aupdg.logic;

import aupdg.data.model.Ldg;
import aupdg.data.model.Petrinet;

/**
 * Contract for generating an LDG.
 *
 * @author AA and CJ
 */
public interface LdgAlgorithm {

    /**
     * Generates an LDG from a Petrinet object.
     *
     * @param petrinet
     * @return
     */
    public Ldg generateLdg(Petrinet petrinet);
}